1. The same is true for the Harvard Chart Method of Logical Equation Reduction. 2. One is the satisfiability problem, a notoriously difficult computer science problem that involves lengthy logical equations . 3. How about a multiple state logical equation ? 4. What math programs ( like Mathcad ) include a function to reduce logical equations to minimum form? 5. I began using computers to verify results of logical equations I solved previously by hand in about 1963. 6. Are there any distributed ( like SETI ) programs that reduce multiple state logical equations to minimum form? 7. That a Serb child will be killed so that a Kosovar Albanian child won't isn't a just or logical equation . 8. :: : : : : If not multiple state logical equation reduction then what else might one term logical human thought? 9. Mathematica doesn't " just " do logical equation reduction either . The preceding talk ) 22 : 51, 15 April 2007 ( UTC ). 10. :: : : : The theory of multistate logical equations is not exactly mainstream, so there is presumably no real reason to implement such functionality.